61. #Proof techniques in graph theory
Author: #Edited by Frank Harary. Contributors: Lowell W. Beineke ]and others[
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Graph theory -- Addresses, essays, lectures ،Graph theory -- Bibliography
Classification :
#
QA
،#.
A55
،#
1968
62. Proof thechniques in graph theory ; proceedigs of the second Ann Arbor
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Graph Theory - Congresses,، Graph theory- Bibliography
Classification :
QA
166
.
A55
1968
63. #Proof theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Proof theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
64. Proof theory
Author: / Kurt Schutte
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory
Classification :
511
.
3
S385
65. Proof theory :
Author: #Kurt Schutte , translation from the German by J. N. Crossley
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Proof theory
Classification :
#
QA
،#.
S3813
66. Proof theory /
Author: Gaisi Takeuti
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
T34
1975
67. Proof theory :
Author: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
L44
1990
68. Proof theory
Author: Schutte, Kurt
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
S3813
70. Proof theory
Author: Takeuti, Gaisi
Library: Central Library and Documentation Center (Kerman)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
T34
1975
71. Proof theory, Beweistheorie.English
Author: Schutte, K.)Kurt(, Kurt Schutte ; translation from the German by J. N. Crossley
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
S3813
72. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
Author: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory
Classification :
QA
9
.
54
.
L4
1990
73. Proof theory: an introduction
Author: Pohlers, Wolfram.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory
Classification :
QA
3
.
L28
no
.
1407
74. Proof theory :an introduction
Author: Pohlers, Wolfram.
Library: Library of Mofid University (Qom)
Subject: ، Proof theory
Classification :
QA3
.
L28
no
.
1407
75. Proof theory and algebra in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ;
76. Proof theory and automated deduction
Author: Goubault-Larrecq, Jean
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Proof theory , Automatic theorem proving
Classification :
QA
9
.
54
.
G68
1997
77. Proof theory and automated deduction
Author: Goubault-Larrecq, Jean
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Automatic theorem proving
Classification :
QA
9
.
54
.
G68
78. Proof theory and automated deduction
Author: Goubault-Larrecq, Jean
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Automatic theorem proving
Classification :
QA
9
.
54
.
G68
1997
79. Proof theory and automated deduction
Author: by Jean Goubault-Larrecq and Ian Mackie,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Proof theory,Automatic theorem proving
Classification :
QA
.
G68
9
.
54
1997
80. Proof theory and intuitionistic systems
Author: Scarpellini, Bruno
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Intuitionistic mathematics,، Proof theory
Classification :
QA
3
.
L28
no
.
212
